#include<stdio.h>
int main()
{
	int need=60*10000,dep=0,month=0;
	for(month=0;dep<need;month++)
	{
		dep+=5000;
		dep*=1.0032;
	}
	printf("He need %d years to buy a house.\n",month%12==0?month/12:month/12+1);
	return 0;
}
